void Init_17();